VDict mobile



higher-order procedure not found. Suggestions:

higher-order macro
HOL
Forsythe
last call optimisation
Lambda Prolog
OBJ
call-by-value
call-by-value-result
LPG
first-order